The Functioning of ICFP Version 2015  On behalf of the ICFP Steering Committee  Inspired by the Principles of POPL and the Practices of PLDI   

Source URL: www.icfpconference.org

• Computer science
• Functional programming
• International Conference on Functional Programming
• Computing
• ICFP Programming Contest
• Programming Language Design and Implementation
• Symposium on Principles of Programming Languages

Norman Ramsey Associate Professor Department of Computer Science Tufts University Medford, MassachusettsEmail: Phone: +

Source URL: www.cs.tufts.edu

• Computer science
• Software engineering
• Computing
• Functional programming
• International Conference on Functional Programming
• Programming Language Design and Implementation
• Symposium on Principles of Programming Languages
• SIGPLAN
• ECL programming language
• Association for Computing Machinery
• Programming language theory

An Introduction to Bioconductor’s ExpressionSet Class Seth Falcon, Martin Morgan, and Robert Gentleman 6 October, 2006; revised 9 February, 2007 1

Source URL: bioconductor.org

• Functional languages
• Bioinformatics
• Knowledge representation
• Business intelligence
• Data management
• Bioconductor
• R
• Data
• Falcon
• Extensible Storage Engine
• Method
• Annotation

A Static Analyzer for Large Safety-Critical Software (Extended Abstract) Bruno Blanchet ∗ § Laurent Mauborgne § Patrick Cousot §

Source URL: www-verimag.imag.fr

• Computing
• Software engineering
• Computer programming
• Abstract interpretation
• Data types
• Functional languages
• Denotational semantics
• Function
• Array data type
• Scala
• Widening
• Data-flow analysis

1 Typing deep pattern-matching in presence of polymorphic variants Jacques Garrigue† Polymorphic variants are a well-known feature of the Objective Caml programming language, and they have turned popular since their i

Source URL: www.math.nagoya-u.ac.jp

• Software engineering
• Computer programming
• Programming language theory
• Type theory
• Data types
• Functional languages
• Functional programming
• Procedural programming languages
• Standard ML
• Algebraic data type
• Tagged union
• Unification

Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis using Functional Programming Cezar Ionescu Patrik Jansson

Source URL: www.cse.chalmers.se

Code reuse through polymorphic variants∗ Jacques Garrigue November 8, 2000 Abstract Their support for code reuse has made object-oriented languages popular. However,

Source URL: www.math.nagoya-u.ac.jp

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Data types
• Type theory
• Eval
• Standard ML
• Anonymous function
• HindleyMilner type system
• OCaml
• Polymorphism

Bachelor Projects in the HIPERFIT Research Center Developing and Improving the “HIPERFIT Portfolio Management Prototype” The “HIPERFIT Portfolio Management Prototype” is a System for Managing and Pricing Portfoli

Source URL: hiperfit.dk

• Software engineering
• Computing
• Computer programming
• Array programming languages
• Functional languages
• APL programming language family
• Object-oriented programming languages
• University of Copenhagen
• UCPH Department of Computer Science
• APL
• Automatic parallelization
• Functional programming

Independent Document Model (IDM) Schema Specification Background: The Independent Document Model (IDM) schema is a platform independent schema used to support extraction of metadata from XML documents. Our extraction a

Source URL: extract.cs.odu.edu

• Software engineering
• Computer programming
• Declarative programming
• Functional languages
• Functional programming
• Procedural programming languages
• ML
• XS
• Monad
• Haskell features
• Standard ML

Rust for Rubyists Jan-Erik / @badboy_ FrOSCon, RedFrogConf, [segmentation fault (core dumped) ./awesome-prog

Source URL: fnordig.de

• Concurrent programming languages
• Functional languages
• Procedural programming languages
• Object-oriented programming languages
• Rust
• Hello
• Env
• System programming language
• Mozilla
• Ruby